(log) proposition

  1. önerme